\begin{tabbing} REF, NoConds \\[0ex]using ${\it parms}$ \\[0ex]let \$t = let \$br = if \$w1:${\it cond}_{1}$ then ${\it case}_{1}$else ${\it otherwise}$ in ${\it context}$ in ${\it tac}$ \\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Us\=ingBranch (${\it parms}$) ([`\$br'] ,${\it context}$) [${\it cond}_{1}$, [`\$w1'],${\it case}_{1}$ ] (${\it otherwise}$) ($\backslash$\$t. ${\it tac}$\+ \\[0ex]) \- \end{tabbing}